Affiliation of

Figure 1. (a) Example of loop nest. (b)Bounded iteration space (BIS) for this loop nest. Figure 2. (a) TIS obtained through a unimodular transformation. (b) TIS obtained through a non-unimodular transformation. White and black dots represent points of the TIS with integer antiimage. The black dots represent the points of the BTIS with integer antiimage. Figure 3. Parameters which characterize the lattice obtained through a non-unimodular transformation. Figure 4. Updating the value of gap k. a) Code for a processor with delayed branch. b) Code for a processor which instructions which are able to inhibit the writing of the result of the next instructions 22